1

Specification of the UNIX Filing System

Year:
1984
Language:
english
File:
PDF, 2.49 MB
english, 1984
4

Formal methods in system design and implementation

Year:
1989
Language:
english
File:
PDF, 708 KB
english, 1989
6

A Minimal Graphical User Interface for the Jape Proof Calculator

Year:
1999
Language:
english
File:
PDF, 382 KB
english, 1999
7

Towards the formal specification of a simple programming support environment

Year:
1987
Language:
english
File:
PDF, 918 KB
english, 1987